Host github.com
    User git
    IdentityFile ~/.ssh/{{ course_id | lower }}_workbook_id_{{ ssh_keytype }}
